basis and dimension of a vector space